module Module

((): a * * c)
